Mode Transfer in Process Algebra
نویسنده
چکیده
This paper provides a systematic and full treatment of mode transfer operators in process algebra, including complete axiomatizations, operational rules, analysis of expressive power and extensions with timing features. In particular, we study a disrupt operator and an interrupt operator. Note: this paper is a revision and extension of [7]
منابع مشابه
Influence of Converter and inverter on dynamic behavior of the GMAW process
This paper investigates the dynamic behavior of Gas Metal Arc Welding (GMAW) process for two types of power supplies –inverter and rectifier- for short circuit transfer mode. The large ripples on the rectifier power source are able to perturb the metal transfer mode. In this experimental work some operating points in the short circuit mode have been selected using an automatic pipeline welding ...
متن کاملThe preventive role of Snell’s law in mode conversion from Z- to whistler-mode waves in an inhomogeneous magnetoplasma with a low density
Electromagnetic waves with different modes, such as Z-, whistler-, LO- and RX- modes are found in different regions of the Earth magnetosphere and the magnetosphere of other planets. Since whistler-mode waves influence the behavior of the magnetosphere, and they are used as experimental tools to investigate the upper atmosphere, they are important. On the other hand, the mode conversion process...
متن کاملCoherence in amalgamated algebra along an ideal
Let $f: Arightarrow B$ be a ring homomorphism and let $J$ be an ideal of $B$. In this paper, we investigate the transfer of the property of coherence to the amalgamation $Abowtie^{f}J$. We provide necessary and sufficient conditions for $Abowtie^{f}J$ to be a coherent ring.
متن کاملCan Scaffolding Mechanisms of Structuring and Problematizing Facilitate the Transfer of Genre-based Knowledge to Another Discourse Mode?
A pivotal issue in research on writing concerns whether the knowledge of how genres are constructed and learned in one discipline/genre can be transferred to other contexts, genres, and disciplines. Yet, studies conducted so far have not presented a unified and complete view of how various writing instructional techniques can result in transferability. This study examined the effect of structur...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000